Ostanin Sergei A., Bucharov Alexander V., Matrosova Anzhela Y., Kirienko Irina E. «Generating all test patterns for a given stuck-at fault of a logical circuit and its ROBDD implementation» // Tomsk State University Journal of Control and Computer Science 2014. №2(27) C.82-89
Matrosova Angela Yu., Nikolaeva Ekaterina A., Kudin Dmitriy V. «False path diagnosis» // 2011. №2(15) C.99-107
